ГАРМОНИЧЕСКАЯ ФУНКЦИЯ

- действительная функция заданная в области Dевклидова пространства имеющая в Dнепрерывные частные производные 1-го и 2-го порядков и являющаяся решением Лапласа уравнения

где - декартовы прямоугольные координаты точки х. Иногда это определение распространяется и па комплексные функции в том смысле, что их действительные и мнимые части и являются Г. ф. Требования непрерывности и, даже, наличия производных не являются априори необходимыми. Напр., справедлива одна из теорем Привалова: непрерывная в Dфункция и(х).является Г. ф. тогда и только тогда, когда в любой точке для всех достаточно малых выполняется свойство среднего

где - шар радиуса Rс центром - объем шара - элемент объема в .

В случае неограниченной области D с компактной границей Г.ф. может быть доопределена в бесконечно удаленной точке , т. е. может быть доопределена в областях компактифицированного по Александрову пространства . Общий принцип такого доопределения состоит в том, чтобы при простейших преобразованиях, сохраняющих гармоничность (в случае инверсия, в случае - Кельвина преобразование).и переводящих конечную точку Г. переходила в Г. ф. в окрестности . Исходя из этого, считают Г. ф. и(х).регулярной в бесконечности при , если

Таким образом, в случае регулярной в бесконечности Г. при всегда . При должно выполняться условие

из к-рого вытекает существование конечного предела

Под Г. ф. в неограниченных областях обычно понимаются регулярные в бесконечности Г. ф.

В теории Г. ф. важную роль играют главные фундаментальные решения уравнения Лапласа

где - площадь единичной сферы пространства При это - Г. ф. С помощью фундаментальных решений записывается основная формула теории Г. ф., выражающая значения Г. ф. и(х).внутри области Dчерез ее значения и(у).на границе и через значения ее производной по направлению внешней нормали к S в точке у:

Эта формула Грина справедлива, напр., при условии, что функция и(х).и ее частные производные 1-го порядка непрерывны в замкнутой области т. е. граница Sк-рой есть кусочно гладкая замкнутая поверхность или кривая. Она дает представление произвольной Г. ф. и(х).в виде суммы потенциалов простого и двойного слоя (см. Потенциала теория). Плотности этих потенциалов, т. е. соответственно граничные значения и , не могут быть заданы произвольно. Между ними имеется интегральная зависимость, выражаемая тем, что левая часть последней формулы - интеграл Грина- должна обращаться в нуль для всех точек х, лежащих вне замкнутой области Основная формула теории Г. ф. есть непосредственный аналог основной формулы теории аналитич. функций - интегральной формулы Коши (см. Коши интеграл). Эта формула справедлива также при замене в ней главного фундаментального решения h_n любым другим фундаментальным решением уравнения Лапласа, достаточно гладким в D, напр, принадлежащим классу

Основные свойства Г.

1) Если D - конечная область и Г. то

2) Теорема о среднем значении: если - Г. ф. в шаре радиуса R с центром то ее значение в центре шара равно среднему арифметическому ее значений на сфере т. е.

где - площадь сферы радиуса в . В предположении непрерывности это свойство может быть принято за определение Г. ф.

3) Принцип экстремума: если - область в , не содержащая внутри точки - Г. ф. в В, то ни в какой точке функция но может достигать локального экстремума, т. е. в любой окрестности каждой точки найдется точка , в к-рой , и найдется точка в к-рой (принцип экстремума в локальной форме). Если, кроме того, , то наибольшее и наименьшее значения в замкнутой области достигаются только в точках границы (принц и п экстремума в глобальной форме). Следовательно, если на , то всюду в

Этот принцип допускает обобщения в различных направлениях.

Например, если - Г. ф. в области D, не содержащей , и

для всех точек всюду в D.

4) Теорема о стирании особенностей: если и(х).- Г. ф. в области удовлетворяющая условию

то существует конечный предел

и и(х), пополненная значением и( х ₀), есть Г. ф. в D.

5) Если и(х)-Г. ограниченная сверху или снизу, то

6) Если и(х)-Г. ф. в окрестности точки то и(х).разлагается в этой окрестности в степенной ряд по переменным т. е. всякая Г. ф. есть аналитич. функция переменных следовательно, Г. ф. имеет производные всех порядков

к-рых в свою очередь являются Г. ф.

7) Свойство единственности: если и(х) - Г. ф. в области и в нек-рой n-мерной окрестности какой-либо точки .то в D. Если и(х) - аналитическая функция действительных переменных в области и - Г. ф. в нек-рой n-мерной окрестности какой-либо точки то и(х) - Г. ф. в D.

8) Принцип симметрии: пусть граница области содержит открытое в плоскости множество G, и (х).Г. ф. в D и и(х)=0 всюду на G, - область, симметричная с Dотносительно плоскости тогда гармонически продолжается в область по формуле

9) Первая теорема Гарнака: если последовательность Г. ф. в ограниченной области D, непрерывных в замкнутой области сходится равномерно на границе то она сходится равномерно в причем предельная функция

есть Г. ф. в Д.

10) Вторая теорема Гарнака: если последовательность Г. ф. монотонна в области Dи сходится по крайней мере в одной точке то она сходится всюду в D к Г. ф.

См. также Гарнака неравенство, Гарнака теорема.

Имеется тесная связь между Г. ф. двух переменных и аналитич. функциями комплексного переменного Действительная и мнимая части аналитич. функции являются, быть может, многозначными, сопряженными Г. ф., т. е. они связаны Коши - Римана условиями. Если в окрестности точки задана Г. ф. то простейшее решение задачи об отыскании аналитич. функции для к-рой дается формулой Гурса:

где - произвольная действительная постоянная. К многозначным Г. ф. в областях Rⁿ, , приводят и нек-рые пространственные задачи математич. физики.

Важное значение Г. Такие поля в областях, свободных от источников поля, должны удовлетворять уравнению сохранения т. е. уравнению Лапласа, а значит в таких областях потенциал и(х).есть Г. ф.

Примеры: если - силовой вектор гравитационного поля, то - ньютонов потенциал сил тяготения; если - поле скоростей'установившегося движения несжимаемой однородной жидкости пли газа, то - потенциал скоростей; если - напряженность электростатич. поля в однородной и изотропной среде, то - потенциал электростатич. поля; если - напряженность стационарного магнитного поля в однородной и изотропной среде, то и(х)-скалярный, как правило, многозначный потенциал магнитного поля. В случае стационарного распределения тепла в однородной и изотропной среде или стационарного распределения диффундирующих частиц, Г. ф. и(х).является непосредственно температура среды или соответственно плотность частиц в точке х. К решению задач на Г. ф. сводятся также многие важные вопросы теории упругости и теории электромагнитного поля.

В развитии теории Г. ф. и математпч. физики особое место занимает краевая Дирихле задача, пли первая краевая задача. Она состоит в отыскании гармонической в области и непрерывной в функции по заданным ее непрерывным значениям и(у).на границе области . В случае достаточно гладкой поверхности или линии Sрешение можно выразить при помощи Грина функции:

При этом в случае простейших областей (шар, полупространство), когда нормальная производная легко выражается в явном виде, получается Пуассона интеграл. Часто встречается также вторая краевая задача, или Неймана задача. Она состоит в определении Г. ф. и(х).по заданным на границе Sзначениям ее нормальной производной. Решение этой задачи при помощи соответствующей функции Грина возможно, но явные выражения здесь значительно сложнее. Имеется еще целый ряд краевых задач теории Г. ф., более сложных по постановке и решению. См. также Выметания метод, Робена задача.

Особое место в современной теории Г. ф. занимают некорректные задачи, связанные в первую очередь с задачей Коши для уравнения Лапласа. Сюда относится, напр., следующая проблема наилучшей мажоранты: если на границе области Dзаданы функция и условия , , то требуется оценить возможно точнее в классе Г. ф. и(х).в D(см. [9], [10]).

Важное значение имеет исследование граничных свойств Г. ф., тесно связанное с субгармонич. функциями п граничными свойствами аналитических функций. Напр., в случае Г. ф. и(х).в единичном шаре В( О,1) пространства , вообще говоря, и(х).не имеет радиальных граничных значений

Однако для класса АГ. ф., определяемого условием

где - элемент площади радиальные граничные значения существуют почти всюду на Sпо мере Лебега, и представима в виде интеграла Пуассона - Стилтьеса

где

- ядро Пуассона, - борелевская мера на S. Важное значение имеет также собственный подкласс Вкласса А, состоящий из всех Г. , представимых в В(О, 1) интегралом Пуассона - Лебега

Большое развитие получила аксиоматич. теория Г. ф. и потенциалов в топологич. пространствах (см. Гармоническое пространство, Потенциала теория абстрактная).

Лит.:[1] Тиман А. Ф., Трофимов В. Н., Введение в теорию гармонических функций, М., 1968; [2] Гюнтер Н. М., Теория потенциала и ее применение к основным задачам математической физики, М., 1953; [3] Сретенски й Л. Н., Теория ньютоновского потенциала, М.- Л., 1946; [4] Брело М., Основы классической теории потенциала, пер. с франц., М., 1964; [5] Кеllоgg О. D., Foundations of potential theory, В., 1929; [6] Владимиров B.C., Уравнения математической физики, М., 1967; [7] Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного, 3 изд. М., 1965; [8] Маркушевич А. И., Теория аналитических функций, 2 изд., т. 2, М., 1968; [9] Лаврентьев М. М. О некоторых некорректных задачах математической физики Новосибирск. 1962; [10] Мергелян С. Н., "Успехи матем наук", 1956, т. 11, № 5, с. 3-26; [11] Привалов И. И. Граничные свойства аналитических функций, 2 изд., М.- Л. 1950; [12] Соломенцев Е. Д., Гармонические и субгармонические функции и их обобщения, в кн.: Итоги науки. Серия математика. Математический анализ. Теория вероятностей. Регулирование, 1962, М., 1964, с. 83 - 100. Е. Д. Соломенцев.